Addressing the state space explosion problem for PEPA models through fluid-flow approximation
نویسندگان
چکیده
ix
منابع مشابه
Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models
In order to avoid the state space explosion problem encountered in the quantitative analysis of large scale PEPA models, a fluid approximation approach has recently been proposed, which results in a set of ordinary differential equations (ODEs) to approximate the underlying continuous time Markov chain (CTMC). This paper presents a mapping semantics from PEPA to ODEs based on a numerical repres...
متن کاملPractical applications of performance modelling of security protocols using PEPA
Trade-off between security and performance has become an intriguing area in recent years in both the security and performance communities. As the security aspects of security protocol research is fully-fledged, this thesis is therefore devoted to conducting a performance study of these protocols. The long term objective is to translate formal definitions of security protocols to formal performa...
متن کاملA fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful compositional ap-proach to the performance modelling of complex systems. However, the models generated by process alge-bras, as with other interleaving formalisms, are susceptible to the state space explosion problem. Modelswith only a modest number of process algebra terms can easily generate so ma...
متن کاملFluid-flow solutions to the state space explosion problem
Achieving the appropiate performance requirements for computer–communication systems is as important as the correctness of the end-result. This is particularly difficult in the case of massively parallel computer systems such as the clusters of PCs behind the likes of Google and peer-to-peer filesharing networks such as Bittorrent. Measuring the performance of such systems using a mathematical ...
متن کاملA Continuous State Space Approximation for PEPA Queues
PEPA Queues is a formalism that augments queueing networks with customers that have behavioural characteristics, as defined by PEPA components. PEPA Queues suffer from the traditional state-space explosion that affects both closed queueing networks and PEPA models. We discuss a possible solution to this with a continuous state-space approximation that allows us to derive an underlying mathemati...
متن کامل